<?php
isset($a, $b);